Adjoint functor theorems for homotopically enriched categories

نویسندگان

چکیده

We prove an adjoint functor theorem in the setting of categories enriched a monoidal model category $\mathcal V$ admitting certain limits. When is equipped with trivial structure this recaptures version Freyd's theorem. For non-trivial structures, we obtain new theorems homotopical flavour - particular, when simplical sets appropriate to $\infty$-cosmoi Riehl and Verity. also investigate accessibility setting, particular obtaining cocompleteness results for accessible $\infty$-cosmoi.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Continuity is an Adjoint Functor

1. INTRODUCTION. The emergence of category theory, introduced by S. Eilen-berg and S. Mac Lane in the 1940s (cf. [2]), was among the most important mathematical developments of the twentieth century. The profound impact of the theory continues to this day, and categorical methods are currently used, for example, in algebra, geometry, topology, mathematical physics, logic, and theoretical comput...

متن کامل

Convergence and quantale-enriched categories

Generalising Nachbin's theory of ``topology and order'', in this paper we   continue the study of quantale-enriched categories equipped with a compact   Hausdorff topology. We compare these $V$-categorical compact Hausdorff spaces   with ultrafilter-quantale-enriched categories, and show that the presence of a   compact Hausdorff topology guarantees Cauchy completeness and (suitably   defined) ...

متن کامل

Recollements of Derived Functor Categories ∗ †

We give an equivalence between the derived category of a locally finitely presented category and the derived category of contravariant functors from its finitely presented subcategory to the category of abelian groups, in the spirit of Krause’s work [H. Krause, Approximations and adjoints in homotopy categories, Math. Ann. 353 (2012), 765–781]. Then we provide a criterion for the existence of r...

متن کامل

TTF Triples in Functor Categories

We characterize the hereditary torsion pairs of finite type in the functor category of a ring R associated to tilting torsion pairs in the category of R-modules. Moreover, we determine a conditions under which they give rise to TTF triples.

متن کامل

Some Isomorphisms Between Functor Categories

The scheme ChoiceD concerns a non-empty set A, a non-empty set B, and a binary predicate P, and states that: there exists a function h from A into B such that for every element a of A holds P[a, h(a)] provided the parameters meet the following requirement: • for every element a of A there exists an element b of B such that P[a, b]. Let A, B, C be non-empty sets, and let f be a function from A i...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Advances in Mathematics

سال: 2023

ISSN: ['1857-8365', '1857-8438']

DOI: https://doi.org/10.1016/j.aim.2022.108812